Legal Engineering: Methodology for Designing Trustworthy Social Systems
نویسندگان
چکیده
منابع مشابه
Designing a Modelling Methodology for Legal Workflows
This paper analyses the requirements that need to be met in order to provide a modelling methodology suitable for the modelling of legal workflows. It subsequently provides a methodology for the legal environment which meets the stated requirements.
متن کاملA methodology for trustworthy file systems
The main contribution of this thesis is a methodology for designing, implementing and verifying realistic file systems with evidence of its effectiveness by application to a non-trivial flash file system. The goal of this research is to demonstrate that an implementation level machine-checked proof of correctness of a file system can be done at reasonable cost. Our approach leverages Cogent, a ...
متن کاملA Framework for Engineering Trustworthy Computer Systems
A trustworthy computer system is a system that in addition to being secure and reliable, it provides privacy-sensitive services with the highest possible business integrity. In this paper, we describe a framework for the proper engineering of trustworthy computer systems. The proposed framework emphasizes the importance of services as the starting point for such engineering activities. Moreover...
متن کاملRequirements Engineering Model in Designing Complex Systems
This research tends to development of the requirements elicitation methodology with regard to operational nature and hierarchical analysis for complex systems and also, regarding available technologies. This methodology applies Analytic Hierarchy Process (AHP) and Analytic Network Process (ANP) to ensure traceability of planned qualitative and quantitative data from requirements to available te...
متن کاملRequirements Engineering Model in Designing Complex Systems
This research tends to development of the requirements elicitation methodology with regard to operational nature and hierarchical analysis for complex systems and also, regarding available technologies. This methodology applies Analytic Hierarchy Process (AHP) and Analytic Network Process (ANP) to ensure traceability of planned qualitative and quantitative data from requirements to available te...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: IEICE ESS Fundamentals Review
سال: 2012
ISSN: 1882-0875
DOI: 10.1587/essfr.5.320